#include <platform/interrupt.h>
#include <xbook/softirq.h>
#include <xbook/debug.h>
#include <xbook/clock.h>
#include <xbook/thread.h>
#include <xbook/initcall.h>

int kernel_main(void)
{
    printk(KERN_NOTICE "welcome to kernel!\n");
    init_irq_description();
    init_softirq();
    init_threads();
    init_clock();
    enable_intr();
    do_initcalls();

    init_user();
    while (1)
    {
        /* code */
    }
    
    //spin("test");
    return 0;    
}
